package Codage.Model;

import java.util.Collection;
import java.util.Set;

public interface IAutomatState  {
	void addTransition(char c, State s);
	
	Set<Character> getAlphabet();
	
	State getAutomatSuccessor(Character c);
	
	Collection<State> getAllAutomatSuccessor();
}
